تعداد ۱۴ پاسخ غیر تکراری از ۱۴ پاسخ تکراری در مدت زمان ۰,۷۵ ثانیه یافت شد.

1. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings

پدیدآورنده: Jean-Pierre Jouannaud )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

845

مشاهده در قفسه مجازی RIS Bibtex ISO

2. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

306

مشاهده در قفسه مجازی RIS Bibtex ISO

3. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :

QA

76

.

6

.

F6858

1986

مشاهده در قفسه مجازی RIS Bibtex ISO

4. Logic and computer science

پدیدآورنده: / Edited by Piergiorgio Odifreddi

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses

رده :

QA

9

.

L6

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

5. Logic and computer science

پدیدآورنده: / S. Homer... [et al.]

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses

رده :

QA

9

.

A1L6

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

6. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

3

.

L28

Vol

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

7. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

3

.

L28

no

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

8. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses

رده :

QA

3

.

L28

no

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

9. Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

9

.

L63

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

10. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

پدیدآورنده: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses

رده :

Q

334

.

E985

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :

QA

75

.

5

.

S9574a

مشاهده در قفسه مجازی RIS Bibtex ISO

12. Proceedings : Sixt annual IEEE Symposium on Logic in Computer Sience, July 15-18, 1991, Amsterdam, the Netherland

پدیدآورنده: sponsored by IEEE Technical Committee on Mathematical Foundations of Computing

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

63

.

I5

1991

مشاهده در قفسه مجازی RIS Bibtex ISO

13. Proof and computation

پدیدآورنده: edited by Helmut Schwichtenberg.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.

رده :

QA76

.

63

E358

1995

مشاهده در قفسه مجازی RIS Bibtex ISO

14. Proof and computation

پدیدآورنده: edited by Helmut Schwichtenberg

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

63

.

P74

مشاهده در قفسه مجازی RIS Bibtex ISO

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است